<?php
print date('r');
